match () with
| A (|B|) -> ()
